:: Integer -> Double -package:prelude-compat package:random-fu

The CDF of the random variable realFloatStdUniform.